|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.
|
|
| |
|
|
Vztah klient-server u webových aplikací
Kučera, Petr ; Petřík, Patrik (oponent) ; Šperka, Svatopluk (vedoucí práce)
Tato práce zkoumá možnosti přesunu aplikační logiky ve webových aplikacích ze serverů na klienty s cílem snížit zátěž serverů. Zkoumá činnosti, které mohou být prováděny na straně klientů v oblasti generování HTML kódu ze strukturovaných dat a operací nad daty bez nutnosti komunikace se serverem. Popisuje implementaci JavaScriptového frameworku, který převádí poznatky do praktického využití. Jeho využití demonstruje na jednoduchém informačním systému. Výsledky provedených měření ukazují, že frameworku se cíl podařilo splnit a že touto cestou je možné vytvářet webové aplikace kladoucí důraz na snížení serverové zátěže.
|
|
|
Podstata fotografie v digitální éře
Doubek, Zdeněk ; Holeček, Tomáš (vedoucí práce) ; Váša, Ondřej (oponent)
Diplomová práce řeší otázku fotografie nikoli z pohledu uměleckého díla, ale jako součást kulturního kódu. Fotografie v digitální éře má potenciál stát se novým druhem vizuálního jazyka. Z této perspektivy odkrývá fotografické universum několik podstatných otázek, kterým se zde věnujeme. Tyto otázky zkoumají témata jako: historický vývoj obrazů a textu, rozdíl mezi tradičními obrazy a obrazy technickými, kulturní dopad masové výroby digitálních aparátů a fotografií, podstata fotografie jako znaku z pohledu sémiotiky a logiky, potíže dešifrace fotografie, řečové aspekty digitální fotografie nebo význam fotografie ve virtuálním (veřejném) prostoru. Z povahy sledovaných témat bude práce řešit problémy týkající se především jazyka, logiky, epistemologie, lidské svobody v kontextu člověk/aparát a okrajově také sémiotiky.
|
|
|
Britská logika v devatenáctém století
Joachim, Jiří ; Holeček, Tomáš (vedoucí práce) ; Šebela, Karel (oponent)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Prostředí Rodokmen v matematice na 1. st. ZŠ
Bartošová, Zuzana ; Jirotková, Darina (vedoucí práce) ; Hejný, Milan (oponent)
Prostředí Rodokmen je jedním z mnoha matematických prostředí uvedených v učebnicích nakladatelství FRAUS, jež vychází z koncepce RVP pro ZV. Toto prostředí je nástrojem pro budování matematických schémat v oblasti pojmů a vztahů mezi nimi a pro rozvoj logiky. V teoretické části diplomové práci začleňuji prostředí Rodokmen do koncepce RVP pro ZV, uvádím základní matematickou a genealogickou terminologii, vymezuji relace v množinovém pojetí, klasifikuji příbuzenské svazky a zabývám se metodikou řešení úloh o věku. V praktické části pak formou experimentu zjišťuji, jak žáci rozumí daným pojmům a v jakých souvislostech, jakým způsobem terminologii aplikují na řešení relačních úloh a úloh o věku, kde do hry vstupují navíc matematické operace a práce s čísly.
|
|
|
Frege a Husserl o objektivitě
Jankovská, Lenka ; Peregrin, Jaroslav (vedoucí práce) ; Beran, Ondřej (oponent)
Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. Zpočátku se oba vydali stejným směrem a ostře odmítali psycho- logismus. Zavedli podobné rozlišení smyslu a významu. Význam věty je pro Frega pravdivostní hodnota, pro Husserla stav věcí. Smysl je způsob směřování k objektu, intencionalita. Ve větě pro Frega myšlenka a pro Husserla noema. Oba kladli důraz na objektivitu čísla, avšak každý se postupně vydal jiným směrem. Frege ztotožnil číslo s extenzí pojmu, což však později dovedlo jeho systém ke sporu. Husserl získával číslo pomocí abstrakce, čímž se vystavil Fregově přísné kritice. Klíčová slova Frege, Husserl, objektivita, logika
|
|
| |
|
|
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
|
host ::
RSS.